From fdd8025749a04eaed669bd7af24be0cd4b6220ff Mon Sep 17 00:00:00 2001 From: =?utf8?q?Jan=20Dj=C3=A4rv?= Date: Sat, 18 Nov 2006 14:47:46 +0000 Subject: [PATCH] Remove xresmini.texi --- man/Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/man/Makefile.in b/man/Makefile.in index 61f775231ae..5008cfbc593 100644 --- a/man/Makefile.in +++ b/man/Makefile.in @@ -144,7 +144,7 @@ info.dvi: ${INFOSOURCES} ../info/emacs: ${EMACSSOURCES} cd $(srcdir); $(MAKEINFO) emacs.texi -emacs.dvi: ${EMACSSOURCES} $(srcdir)/xresmini.texi +emacs.dvi: ${EMACSSOURCES} $(ENVADD) $(TEXI2DVI) ${srcdir}/emacs.texi # This target is here so you could easily get the list of the *.texi -- 2.30.2